Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
🔍Query Compilers
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🔍Query Compilers
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
✨vibe-coding
Effective C++ – Hour 10
jtag.bearblog.dev·1d
⚠️Unsafe Rust
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🦕Deno
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔍Query Compilers
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🔌Embedded Rust
The Library Method: Understanding @cache
dev.to·18h·
Discuss: DEV
🔌Embedded Rust
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·11h·
Discuss: r/golang
⚡Tokio
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🕸️Graph Databases
Lobsters Interview with Zdsmith
lobste.rs·13h·
Discuss: Lobsters
🧩Low-code
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🧩WebAssembly
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2h·
Discuss: Hacker News
🧬Computational Biology
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💬Language Servers
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
☁️Serverless Rust
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·15h
🔍Query Compilers
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
💻Local LLMs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🍄Mycelium Networks
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
⚠️Unsafe Rust